#include <stdio.h>

// auto variable -> av
void save_to_file(int av) {
    printf("%d", av);
}